Using the Scr* Toolset to Specify Software Requirements 2. the Scr Requirements Model
نویسنده
چکیده
Formulated in the late 1970s to specify the requirements of the Operational Flight Program (OFP) of the A-7 aircraft [8], the SCR (Software Cost Reduction) requirements method is a method based on tables for specifying the requirements of software systems. During the 1980s and the early 1990s, many companies, including Bell Laboratories, Grumman, Ontario Hydro, and Lockheed, applied the SCR requirements method to practical systems. Each of these applications of SCR had, at most, weak tool support. To provide powerful, robust tool support customized for the SCR method, we have developed the SCR* toolset. To provide formal underpinnings for the method, we have also developed a formal model which de nes the semantics of SCR requirements speci cations.
منابع مشابه
Verifying Scr Requirements Speciications Using State Exploration
Researchers at the Naval Research Laboratory (NRL) have been developing a formal method, known as the SCR (Software Cost Reduction) method, to specify the requirements of software systems using tables. NRL has developed a formal state machine model de ning the SCR semantics and support tools for analysis and validation. Recently, a veri cation capability was added to the SCR toolset. Users can ...
متن کاملUsing the SCR* Toolset to Specify Software Requirements
1. Background Formulated in the late 1970s to specify the requirements of the Operational Flight Program (OFP) of the A-7 aircraft 8], the SCR (Software Cost Reduction) requirements method is a method based on tables for specifying the requirements of software systems. During the 1980s and the early 1990s, many companies, including Bell Laboratories, Grumman, Ontario Hydro, and Lockheed, applie...
متن کاملAnalyzing Behavioural Scenarios over Tabular Specifications Using Model Checking
Tabular notations, in particular SCR specifications, have proved to be a useful means for formally describing complex requirements. The SCR method offers a powerful family of analysis tools, known as the SCR Toolset, but its availability is restricted by the Naval Research Laboratory of the USA. This toolset applies different kinds of analysis considering the whole set of behaviours associated ...
متن کاملAvionics Systems Requirements: A Comparison of RSML and SCR
RSML (refs. 1-2) and SCR (refs. 4-6) are two formalisms for the specification and analysis of control systems requirements. Both have been successfully applied to complex avionics systems. RSML was developed to specify the TCAS II aircraft collision avoidance system (ref. 1). SCR was introduced to specify the software requirements of the A7 flight software (ref. 4) and has since been extended t...
متن کاملApplying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems
Although it is most often applied to finite state models, in recent years, symbolic model checking has been extended to infinite state models using symbolic representations that encode infinite sets. This paper investigates the application of an infinite state symbolic model checker called Action Language Verifier (ALV) to formal requirements specifications of safety-critical systems represente...
متن کامل